\newtheorem*{Bezeichner}{Definition 2 - Bezeicher}
\newtheorem*{Strategie}{Definition 5 - Strategie}
\newtheorem*{dominantStrategie}{Definition 6 - Dominante Strategie}
\newtheorem*{falseNameProof}{Definition 7 - False-Name-Proof}
\newtheorem*{Prop1}{Behauptung}

\newtheorem*{ziel}{Ziel}
\newtheorem*{symbole}{Verwendete Symbole}
\newtheorem*{Überschussfunktion}{Definition 9 - Überschussfunktion $U$}
\newtheorem*{Konkavität}{Definition 10 - $U_A$ konkav}
\newtheorem*{Submodularität}{Definition 12 - $U$ submodular}

\newtheorem*{Proposition3}{Proposition 3}
\newtheorem*{Proposition4}{Proposition 4}
